Alapfogalom

A matematikában, a logikában, a filozófiában és a formális rendszerekben az alapfogalom korábban definiált fogalmakból nem levezethető fogalom. Gyakran informálisan határozzák meg intuíció és mindennapi tapasztalatok alapján. Egy axiomatikus elméletben az alapfogalmak közti kapcsolatokat axiómák korlátozzák.^[1] Egyes szerzők ez utóbbit az alapfogalmak egy vagy több axióma általi „definiálásának” nevezik, de ez félrevezető lehet. A formális elméletek nem rendelkezhetnek alapfogalmakkal, így végtelen regresszió jellemzi a regresszióprobléma alapján.

Például a modern geometriában a pont, a vonal és az. ha egy alakzat egy másik része, alapfogalmak. Definiálásuk helyett^{[* 1]} kapcsolatukat Hilbert axiómarendszerében axiómák határozzák meg, például „Bármely két pontra van vonal, melynek mindkettő eleme”.^{[* 2]}

1. ↑ Általánosabban egy formális rendszerben szabályok korlátozzák az alapfogalmak használatát. Nem logikai formális rendszer a MU kérdés.

Forráshivatkozás-hiba: <ref> címkék léteznek a(z) „*” csoporthoz, de nincs hozzá <references group="*"/>